Hornets: Nets within Nets Combined with Net Algebra
نویسنده
چکیده
منابع مشابه
Complexity Studies for Safe and Fan-Bounded Elementary Hornets
HORNETS are Petri nets that have nets as tokens. There are an algebraic extension of elementary object nets (EOS) with the possibility to mofify the structure of the net-tokens. In previous contributions we investigated elementary HORNETS as well as their subclass of safe elementary HORNETS. We showed that the reachability problem for safe elementary HORNETS requires at least exponential space....
متن کاملSelectivity of multifilament trammel nets of different mesh sizes on the red mullet (Mullus barbatus L., 1758) in Western Mediterranean, Turkey
Three mesh sizes of multiflament trammel nets (22 mm, 24 mm, and 26 mm) were used in Finike bay for red mullet (Mullus barbatus L., 1758). The sampling program was arranged during February to May 2012. Holt (1963) method was used for selectivity of trammel nets. Red mullet was the dominant species in 22 mm mesh size at 52.86%, followed by 25.7% with the 24 mm net and 21.43% with the 26 mm net. ...
متن کاملComplexity of LTL Model-Checking for Safe Object Nets
In this paper we present recently obtained results from [14] concerning the complexity of LTL model checking of safe Elementary Object Nets (Eos) in a novel and more algorithmic oriented way. Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-within-nets paradigm. Object nets are called elementary if the net system has a two levelled structure. Due to the...
متن کاملNETS AND SEPARATED S-POSETS
Nets, useful topological tools, used to generalize certainconcepts that may only be general enough in the context of metricspaces. In this work we introduce this concept in an $S$-poset, aposet with an action of a posemigroup $S$ on it whichis a very useful structure in computer sciences and interestingfor mathematicians, and give the the concept of $S$-net. Using $S$-nets and itsconvergency we...
متن کاملMonofilament gill net and trammel net selectivity for the silver crucian carp (Carassius gibelio Bloch, 1782) in the Eğirdir Lake, Isparta-Turkey
The aim of this study was to determine the selectivity of monofilament gillnets with different mesh size for silver crucian carp in Eğirdir Lake. In this study, it was investigated that the selectivity of monofilament gillnets with nominal mesh size (stretched) with 32, 40, 50, 60, 70, 80, 90 mm and trammel nets with 100, 110, 120, 130, 140, 150 mm for catching of silver crucian carp. Fieldwork...
متن کامل